Search for: All records

The ProofLang Corpus includes 3.7M proofs (558 million words) mechanically extracted from papers that were posted on arXiv.org between 1992 and 2020. The focus of this corpus is proofs, rather than the explanatory text that surrounds them, and more specifically on the language used in such proofs. Specific mathematical content is filtered out, resulting in sentences such as Let MATH be the restriction of MATH to MATH. This dataset reflects how people prefer to write (informal) proofs, and is also amenable to statistical analyses and experiments with Natural Language Processing (NLP) techniques. 

We are facing interwoven global threats to public health and ecosystem function that reveal the intrinsic connections between human and wildlife health. These challenges are especially pressing in cities, where social-ecological interactions are pronounced. The One Health concept provides an organizing framework that promotes the health and well-being of urban communities and ecosystems. However, for One Health to be successful, it must incorporate societal inequities in environmental disamenities, exposures, and policy. Such inequities affect all One Health interfaces, including the distribution of ecosystem services and disservices, the nature and frequency ofhuman–wildlife interactions, and legacies of land use. Here, we review the current literature on One Health perspectives, pinpoint areas in which to incorporate an environmental justice lens, and close with recommendations for future work. Intensifying social, political, and environmental unrest underscores a dire need for One Health solutions informed by environmental justice principles to help build healthier, more resilient cities. 

Abstract Mosquito bacterial communities are essential in mosquito biology, and knowing the factors shaping these bacterial communities is critical to their application in mosquito-borne disease control. This study investigated how the larval environment influences the bacterial communities of larval stages of two container-dwelling mosquito species, Aedes triseriatus, and Aedes japonicus. Larval and water samples were collected from tree holes and used tires at two study sites, and their bacteria characterized through MiSeq sequencing of the 16S rRNA gene. Bacterial richness was highest in Ae. japonicus , intermediate in Ae. triseriatus , and lowest in water samples. Dysgonomonas was the dominant bacterial taxa in Ae. triseriatus larvae; the unclassified Comamonadaceae was dominant in water samples from waste tires, while Mycobacterium and Carnobacterium , dominated Ae. japonicus . The two mosquito species harbored distinct bacterial communities that were different from those of the water samples. The bacterial communities also clustered by habitat type (used tires vs. tree holes) and study site. These findings demonstrate that host species, and the larval sampling environment are important determinants of a significant component of bacterial community composition and diversity in mosquito larvae and that the mosquito body may select for microbes that are generally rare in the larval environment.